Advances in Proof Theory: 28 (Progress in Computer Science and Applied Logic, 28)
by Reinhard Kahle,Thomas Strahm,Thomas Studer
ISBN 13: 9783319291963
Format: Hardcover (437 pages) Publisher: Birkhäuser Published: 23 May 2016
Save for later
Advances in Proof Theory (Progress in Computer Science and Applied Logic)
ISBN 13: 9783319805139
Format: Paperback (440 pages) Publisher: Birkhäuser Published: 27 May 2018
Logics of Proofs and Justifications
by Roman Kuznets,Thomas Studer
ISBN 13: 9781848901681
Format: Paperback (246 pages) Publisher: College Publications Published: 02 Apr 2019